(declare-const v1 Bool)
(declare-const v2 Bool)
(declare-const v3 Bool)
(declare-const v4 Bool)
(declare-const i4 Int)
(declare-const i5 Int)
(declare-const i6 Int)
(declare-const i8 Int)
(declare-const i15 Int)
(declare-const i16 Int)
(assert (not v1))
(assert (or v3 v3 v3 v3 v4 (xor (not v1) v1 v1 v2 v3) (xor (not v1) v1 v1 v2 v3) v2 v1))
(declare-const i19 Int)
(declare-const v5 Bool)
(assert v5)
(check-sat)
